1. Foundations; essay in philosophy, logic, mathematics and economics
المؤلف: / F. P. Ramsey,Ramsey
المکتبة: كتابخانه مركزي آستان قدس رضوي (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع: Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
511
.
308
R181F
2. From Frege to Godel; a source book in mathematical logic, 1879-1931
المؤلف: Van Heijenoort, Jean
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
3. From Frege to Godel; a source book in mathematical logic, 1879-1931
المؤلف: Van Heijenoort, Jean, 2191-6891
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
4. Logic and knowledge; essays,1901 -1950
المؤلف: / Edited by Robert Charles Marsh,Russell
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Philosophy - Addresses, essays, lectures,Logic, symbolic and mathematical -- Addresses, essays, lectures
رده :
B
1649
.
R93L6
1971
5. Logic and knowledge ; essays, 1901-1950
المؤلف: / Edited by Robert Charles Marsh
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Philosophy - Addresses, essays, lectures,Logic, Symbolic and mathematical - Addresses, essays, lectures
رده :
B1649
.
R93L6
6. Logic and knowledge; essays, 1901-1950
المؤلف: / Edited by Robert Charles Marsh,Russell
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Philosophy -- Addresses, essay, Iectures,Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
B
1649
.
R93L6
1956
7. Logic and knowledge; essays, 1901-1950
المؤلف: / Edited by Robert Charles Marsh
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Philosophy - Addresses, essays, lectures,Logic, Symbolic and mathematical - Addresses, essays, lectures
رده :
192
Ru-L
8. Logic colloguium 69; proceedings of the summer school and colloquium in mathematical logic, Manchester, Auqust, 1969
المؤلف: / edited by R. O. Gandy, C. M. E. Yates
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical - Addresses, essays, lectures
رده :
511
.
3
L832
9. Logic of programs : Workshop, ETH Zurich, May-July 1979
المؤلف: edited by Erwin Engeler
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
10. Logical investigations
المؤلف: Frege, Gottlob, 8481-5291
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
B
3245
.
F23L63
11. Logical writings
المؤلف: / Edited by Warren D. Goldfarb, a translation of the ecrits logiques, edited by Jean Van Heijenoort,Herbrand
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
BC
135
.
H38
12. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
المؤلف: edited by S. I. Adjan
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
13. Papers in philosophical logic
المؤلف: Lewis, David K.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical.
رده :
BC
135
.
L4P3
14. Proceedings
المؤلف: Tarski Symposium, 1791, University of California, Berkeley
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
15. Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O.
المؤلف: Summer School in Logic, Leeds, Eng
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
70
16. Selected works
المؤلف: Lukasiewicz, Jan
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Addresses, Essays, lectures ، Logic, Symbolic and mathematical
رده :
BC
135
.
L825
17. Studies in foundations and combinations
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Addresses, essays, lectrures ، Combinatorial analysis,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
164
.
S85
18. The Calculi of symbolic logic, 1
المؤلف: edited by V. P. Orevkov
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
19. The Calculi of symbolic logic, 1
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
98
1968
20. The Logic of decision and action
المؤلف: / Edited by Nicholas Rescher.Essays by Alan Ross Anderson [and others]With comments by R.Ackermann[and others. Pittsburgh]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical -- Addresses, essays, lectures,Decision- making--Addresses, essays, lectures.,Act.(Philosophy)-- Addresses,essays,lectures
رده :
BC
135
.
L58
